3

A logical approach to efficient Max-SAT solving

Year:
2008
Language:
english
File:
PDF, 470 KB
english, 2008
13

Intelligent variable orderings and re-orderings in DAC-based solvers for WCSP

Year:
2006
Language:
english
File:
PDF, 524 KB
english, 2006
31

Synthesis of 3′-C-ethynylnucleosides of thymine

Year:
1991
Language:
english
File:
PDF, 588 KB
english, 1991
46

3′-C-Cyano-3′-deoxythymidine

Year:
1988
Language:
english
File:
PDF, 229 KB
english, 1988